退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:直觉主义逻辑中的经典逻辑副本
Jaime Gaspar;
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:直觉模态逻辑及其经典伴随逻辑的拓扑语义和双仿真
机译:整合经典和直觉数学(模态逻辑)
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:从索引的Lax逻辑到直觉逻辑
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:用于模拟数字逻辑电路中的故障的设备(例如可编程逻辑设备)具有映像寄存器和与每个工作寄存器关联的故障寄存器,以允许同时复制故障和调试
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。